大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Computer Vision-ACCV 2009 [electronic resource] : 9th Asian Conference on Computer Vision, Xi鈥檃n, September 23-27, 2009, Revised Selected Papers, Part III

0
索取号：
作者：Zha、 Hongbin.、Taniguchi、 Rin-ichiro.、Maybank、 Stephen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Scientific Computing in Electrical Engineering SCEE 2008 [electronic resource]

0
索取号：
作者：Roos、 Janne.、Costa、 Luis R.J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

VLSI-SoC: Design Methodologies for SoC and SiP [electronic resource] : 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers

0
索取号：
作者：Piguet、 Christian.、Reis、 Ricardo.、Soudris、 Dimitrios.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer and Computing Technologies in Agriculture III [electronic resource] : Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papers

0
索取号：
作者：Li、 Daoliang.、Zhao、 Chunjiang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings

0
索取号：
作者：Sirisuk、 Phaophak.、Morgan、 Fearghal.、El-Ghazawi、 Tarek.、Amano、 Hideharu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings

0
索取号：
作者：M眉ller-Clostermann、 Bruno.、Echtle、 Klaus.、Rathgeb、 Erwin P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Social Computing [electronic resource] : Third International Conference on Social Computing, Behavioral Modeling, and Prediction, SBP 2010, Bethesda, MD, USA, March 30-31, 2010. Proceedings

0
索取号：
作者：Chai、 Sun-Ki.、Salerno、 John J.、Mabry、 Patricia L.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Roots of Modern Technology [electronic resource] : An Elegant Survey of the Basic Mathematical and Scientific Concepts

0
索取号：
作者：Wendt、 Siegfried.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Foundations of Software Science and Computational Structures [electronic resource] : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号：
作者：Ong、 Luke.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Architecture of Computing Systems - ARCS 2010 [electronic resource] : 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings

0
索取号：
作者：M眉ller-Schloer、 Christian.、Karl、 Wolfgang.、Yehia、 Sami.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

High Performance Computing on Vector Systems 2010 [electronic resource]

0
索取号：
作者：Resch、 Michael.、Benkert、 Katharina.、Wang、 Xin.、Galle、 Martin.、Bez、 Wolfgang.、Kobayashi、 Hiroaki.、Roller、 Sabine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

High Performance Computing and Applications [electronic resource] : Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers

0
索取号：
作者：Zhang、 Wu.、Chen、 Zhangxin.、Douglas、 Craig C.、Tong、 Weiqin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Vision, Imaging and Computer Graphics. Theory and Applications [electronic resource] : International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009. Revised Selected Papers

0
索取号：
作者：Ranchordas、 AlpeshKumar.、Pereira、 Jo茫o Madeiras.、Ara煤jo、 H茅lder J.、Tavares、 Jo茫o Manuel R. S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Foundations of Information and Knowledge Systems [electronic resource] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings

0
索取号：
作者：Link、 Sebastian.、Prade、 Henri.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Autonomous Systems [electronic resource] : Foundations and Applications

0
索取号：
作者：Pratihar、 Dilip Kumar.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Distributed Computing and Internet Technology [electronic resource] : 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings

0
索取号：
作者：Janowski、 Tomasz.、Mohanty、 Hrushikesha.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.